void judge_winner(int time, int re, int num1, int num2, char a[16][16]);
